7

Combining algebraic rewriting, extensional lambda calculi, and fixpoints

Year:
1996
Language:
english
File:
PDF, 1.35 MB
english, 1996
10

A modular package manager architecture

Year:
2013
Language:
english
File:
PDF, 747 KB
english, 2013
11

A short survey of isomorphisms of types

Year:
2005
Language:
english
File:
PDF, 559 KB
english, 2005
19

Aeolus: A component model for the cloud

Year:
2014
Language:
english
File:
PDF, 1009 KB
english, 2014
22

A CALCULUS FOR DENSE ARRAY DISTRIBUTIONS

Year:
2003
Language:
english
File:
PDF, 782 KB
english, 2003
23

SKELETAL PARALLEL PROGRAMMING WITH OCAMLP3L 2.0

Year:
2008
Language:
english
File:
PDF, 912 KB
english, 2008
25

Simulating expansions without expansions

Year:
1994
Language:
english
File:
PDF, 2.13 MB
english, 1994
26

Provable isomorphisms of types

Year:
1992
Language:
english
File:
PDF, 3.02 MB
english, 1992
31

On software component co-installability

Year:
2013
Language:
english
File:
PDF, 1.36 MB
english, 2013
36

Deciding type isomorphisms in a type-assignment framework

Year:
1993
Language:
english
File:
PDF, 2.12 MB
english, 1993
38

Review of Isomorphisms of Types:

Year:
1997
Language:
english
File:
PDF, 248 KB
english, 1997
40

Educating the e-citizen

Year:
2006
Language:
english
File:
PDF, 134 KB
english, 2006